A Visual Interface for Drawing ASP Programs

Answer Set Programming (ASP) is a purely declarative logic programming paradigm proposed in the area of non-monotonic reasoning and logic programming. In the last few years, a rich set of tools for ASP-program development were proposed, including editors and debuggers. However, the task of designing a logic program consists of writing text files (more or less computerassisted). In this paper we present a system that allows for drawing an ASPprogram on the screen. The user does not have to edit text files or know the details of a specific ASP dialect, since our approach offers a fully graphic environment, inspired by QBE editors, for designing ASP programs.